#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_clock_gettime,0x00e4,0x0071,0xfff,0xfff,0x00e8,0x0057,0x1ab,0xfff
